mathematical logic
英 [ˌmæθəˈmætɪkl ˈlɒdʒɪk]
美 [ˌmæθəˈmætɪkl ˈlɑːdʒɪk]
数理逻辑
英英释义
noun
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
双语例句
- Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。 - Early in his professional career, he gained a PhD in mathematical logic from the University of Buenos Aires.
在其职业生涯早期曾获得布宜诺斯艾利斯大学数学逻辑博士学位。 - Not only is he the founder of mathematical logic, but also the founder of the philosophy of language and analysis.
他不仅是数理逻辑的奠基人，也是语言和分析哲学的奠基人。 - Therefore, it is a common-sense error to attempt to reform or replace traditional formal logic with mathematical logic.
因此，用数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误。 - On the basis of matrix theory, the algorithm for computing s-invariant and t-invariant of petri net are presented; on the basis of mathematical logic, the solution method for siphon and trap of petri net are obtained.
根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法，基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。 - This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.
本文主要分析了几种数理逻辑思维方法及在艺术设计中的应用。 - In mathematical logic in the study is the main target of all kinds of calculus.
在数理逻辑中研究的主要对象是各种演算。 - The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.
数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。 - He put forward two basic ideas of mathematical logic to construct formal language and found calculus.
这里，他最早提出了数理逻辑的两个基本思想：构造形式语言和建立演算。 - This paper introduces the basic knowledge of mathematical logic, and the application of mathematical logic in computer science, in particular, in artificial intelligence ( AI) and database ( DB).
本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。